Issue217.agda:4,1-6,8
Termination checking failed for the following functions:
  A.⊥
Problematic calls:
  ⊥ (at Issue217.agda:6,7-8)
